翻訳と辞書
Words near each other
・ Demond Mallet
・ Demond Washington
・ Demond Wilson
・ DeMond Winston
・ Demondrille railway station
・ Demonheart
・ Demonia
・ Demonia (film)
・ Demoniac
・ Demonic (album)
・ Demonic (film)
・ Demonic Art
・ Demonic Beauty
・ Demonic composition
・ Demonic Males
Demonic non-determinism
・ Demonic possession
・ Demonic Resurrection
・ Demonic Toys
・ Demonic Toys 2
・ Demonic tube-nosed fruit bat
・ Demonica
・ Demonice
・ Demonicus
・ Demonicus of Pella
・ Demonio azul
・ Demonium
・ Demonization
・ Demonized (album)
・ Demonizing the enemy


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Demonic non-determinism : ウィキペディア英語版
Demonic non-determinism

A term coined by C.A.R Hoare, which describes the execution of a non-deterministic program where all choices that are made favour non-termination.
==References==

* R.J.R. Back and J. von Wright. Refinement Calculus: A Systematic Introduction.
Springer, 1998.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Demonic non-determinism」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.